首页> 外文OA文献 >Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time

【2h】

Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time

机译：浮点程序的源到源错误自动补偿：代码合成可优化准确性和时间

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Thévenoux, Laurent; Langlois, Philippe; Martel, Matthieu;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time [J] . Laurent Thévenoux, Philippe Langlois, Matthieu Martel Journal of Software Maintenance and Evolution . 2017,第7期

机译：浮点程序的源到源错误自动补偿：代码合成可优化准确性和时间
2. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time [J] . Laurent Thévenoux, Philippe Langlois, Matthieu Martel Concurrency and Computation . 2017,第7期

机译：浮点程序的源到源错误自动补偿：代码合成可优化准确性和时间
3. Improvement of Heavy Load Robot Positioning Accuracy by Combining a Model-Based Identification for Geometric Parameters and an Optimized Neural Network for the Compensation of Nongeometric Errors [J] . Yuxiang Wang, Zhangwei Chen, Hongfei Zu, Complexity . 2020,第1期

机译：通过组合基于模型的几何参数和优化的神经网络来改进重载机器人定位精度，以获得非数误差的补偿
4. Automatic Source-to-Source Error Compensation of Floating-Point Programs [C] . Laurent Thévenoux, Philippe Langlois, Matthieu Martel IEEE International Conference on Computational Science and Engineering . 2015

机译：浮点程序的自动源源误差补偿
5. Machine tool accuracy enhancement by inverse kinematic analysis and real time error compensation. [D] . Hai, Neiyuan. 1995

机译：通过逆运动学分析和实时误差补偿来提高机床精度。
6. Periodic Nonlinear Error Analysis and Compensation of a Single-Excited Petal-Shaped Capacitive Encoder to Achieve High-Accuracy Measurement [O] . Bo Hou, Bin Zhou, Xiang Li, 2019

机译：单激励花瓣状电容编码器的周期性非线性误差分析和补偿以实现高精度测量
7. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time [O] . Thévenoux, Laurent, Langlois, Philippe, Martel, Matthieu 2017

机译：浮点程序的源到源错误自动补偿：代码合成可优化准确性和时间

Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅